TSTP Solution File: SEV044^5 by Refute---2015